The RERS challenge: towards controllable and scalable benchmark synthesis

Abstract This paper (1) summarizes the history of RERS challenge for analysis and verification reactive systems, its profile intentions, relation to other competitions, and, in particular, evolution due feedback participants, (2) presents most recent development concerning synthesis hard benchmark problems. In second part proposes a way tailor benchmarks according depths which programs have be investigated order find all errors. gives designers method contributors that try perform well by excessive guessing.